Nuovo DRM Paradiso: Designing a Secure, Verified, Fair Exchange DRM Scheme

نویسندگان

  • Muhammad Torabi Dashti
  • Srijith Krishnan Nair
  • Hugo L. Jonker
چکیده

We introduce Nuovo DRM, a digital rights management scheme aimed to provide formal and practical security. The scheme is based on a recent DRM scheme, which we formally specify in the μCRL process algebraic language. The original scheme stated the following security requirements: effectiveness, secrecy and resistance of content masquerading. We formalise these security requirements as well as strong fairness and formally check the original scheme against these requirements. This verification step uncovered several security weaknesses, which are addressed by Nuovo DRM. In addition to that, Nuovo DRM introduces several procedural practices to enhance the practical security of the scheme. A finite model of Nuovo DRM is subsequently model-checked and shown to satisfy its design requirements, including secrecy, fairness and resistance to content masquerading.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Nuovo DRM Paradiso: Formal specification and verification of a DRM protocol

We present a DRM-preserving content redistribution scheme, based on the NPGCT scheme [15], that provides fairness in unsupervised exchanges. The proposed scheme is formally specified, verified and shown to achieve its design goals. The NPGCT mechanism of detection and revocation of circumvented devices is also reexamined here.

متن کامل

Anonymous Pairing-Free and Certificateless Key Exchange Protocol for DRM System

Mostly, current security architectures for Digital rights management (DRM) systems use either Public Key Cryptography (PKC) or Identity-based Public Key Cryptography (ID-PKC). However, PKC has a complex certificate management and ID-PKC has a key escrow problem. Certificateless Public Key Cryptography (CL-PKC) has some attractive properties which seem compatible with the requirements of DRM sys...

متن کامل

The Present and Future of Digital Rights Management – Musings on Emerging Legal Problems

This article presents a roadmap of emerging legal problems in the area of Digital Rights Management (DRM). It argues against adopting fundamentalist viewpoints in the DRM policy debate. In particular, DRM technology is much more flexible than many DRM critics acknowledge. The article covers various problems that are less frequently discussed in legal and policy circles. It analyzes the relation...

متن کامل

A Novel DRM Security Scheme and its Prototype System Implementation

Abstract A DRM system scheme based on PKI is proposed and designed in this paper, which can achieve effective user authentication, secure distribution of digital content and usage rights control. The architecture of system,secure mechanism, playback control mechanism are described in detail. Finally, against the offline usage control of the audio and video content in user terminal, we design a ...

متن کامل

Trusted License Distribution System Based on IPSec VPN for Mobile DRM

With the rapid development of mobile applications, DRM systems used for mobile terminals and wireless environment become popular. However, the present DRM schemes are not fit for mobile applications because of the new security problems in wireless environment and the limitations of mobile terminals. In this paper, a trusted license distribution system based on IPSec VPN and its correlative issu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Fundam. Inform.

دوره 89  شماره 

صفحات  -

تاریخ انتشار 2008